◀ Prev · Parts · Full · Next ▶

cite-note-77. ↑ citereffeigegoldwasserlov-szsafra1996Feige, Uriel; Goldwasser, Shafi; Lovász, Laszlo; Safra, Shmuel; Szegedy, Mario (March 1996). "Interactive Proofs and the Hardness of Approximating Cliques". J. ACM. 43 (2): 268–292. doi:10.1145/226643.226652. ISSN 0004-5411.

cite-note-88. ↑ citerefarorasafra1998Arora, Sanjeev; Safra, Shmuel (January 1998). "Probabilistic Checking of Proofs: A New Characterization of NP". J. ACM. 45 (1): 70–122. doi:10.1145/273865.273901. ISSN 0004-5411. S2CID 751563.

cite-note-99. ↑ citerefjohnson1974Johnson, David S. (1974-12-01). "Approximation algorithms for combinatorial problems". Journal of Computer and System Sciences. 9 (3): 256–278. doi:10.1016/S0022-0000(74)80044-9.

◀ Prev · Parts · Full · Next ▶